Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
521	StackAnalyzer for LEON2 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Compiler construction LEON Call graph GNU Compiler Collection Compiler GNAT Linux Control flow graph Software Computing Programming language implementation
522	ABSTRACT ORBIT: An Optimizing Compiler For Scheme David Andrew Kranz Yale University 1988 It has often been assumed that the performance of languages with rst-class Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Programming language implementation Functional languages Lisp programming language Compiler construction Lisp Scheme Closure Funarg problem Software engineering Computer programming Computing
523	Formal Verication of C++ Object Construction and Destruction Tahina Ramananandro1 1 INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-28 17:27:37 C programming language C++ Struct C++ classes Initialization Constructor Construct Digital geometry Cohen–Sutherland algorithm Software engineering Computer programming Computing
524	A formal operational semantics for C++ object construction and destruction Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp July 13, 2011 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-07-28 07:47:39 C++ Object-oriented programming Method C programming language Virtual function C++ classes Constructor Struct Initialization Software engineering Computer programming Computing
525	An introduction to R Longhow Lam Under Construction Feb-2010 some sections are unfinished! longhowlam at gmail dot com Add to Reading List Source URL: cran.mtu.edu Language: English - Date: 2010-10-28 06:44:47 Functional languages Econometrics Regression analysis R Array programming languages Ggplot2 Plot SAS Linear regression Statistics Software Mathematical software
526	An introduction to R Longhow Lam Under Construction Feb-2010 some sections are unfinished! longhowlam at gmail dot com Add to Reading List Source URL: ftp.iitm.ac.in Language: English Functional languages Econometrics Regression analysis R Array programming languages Ggplot2 Plot SAS Linear regression Statistics Software Mathematical software
527	An introduction to R Longhow Lam Under Construction Feb-2010 some sections are unfinished! longhowlam at gmail dot com Add to Reading List Source URL: www.icesi.edu.co Language: English - Date: 2010-10-28 06:44:47 Functional languages Econometrics Regression analysis R Array programming languages Ggplot2 Plot SAS Linear regression Statistics Software Mathematical software
528	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-12-01 15:39:42 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
529	DEPARTMENT OF THE NAVY NAVAL RESEARCH LABORATORY •sss OVERLOOK AVE SW WASHINGTON DC Add to Reading List Source URL: heron.nrl.navy.mil Language: English - Date: 2011-12-14 08:52:51 United States administrative law Construction Electronic Arts Contract Infrastructure Military acquisition Law Software development Video game development Contract law Government procurement in the United States
530	Excelsior JET for Microsoft Windows Version 10.5 User’s Guide Add to Reading List Source URL: www.excelsiorjet.com Language: English - Date: 2015-01-29 00:42:28 Installation software Compiler construction Just-in-time compilation Installation Windows Configuration file System software Software Computing

UPDATE